Free shipping on all orders! No minimum purchase required.

More from this Author

Found 2 books by Ugo de Liguoro (Editor)

Types for Proofs and Programs

Types for Proofs and Programs

by Stefano Berardi (Editor), Ferruccio Damiani (Editor), Ugo de Liguoro (Editor)

Types for Proofs and Programs

Types for Proofs and Programs

by Stefano Berardi (Editor), Ferruccio Damiani (Editor), Ugo de Liguoro (Editor)

Bookstores.com relies on cookies to improve your experience.